Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
971	EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH The F Programming Language Ralph Frisbie Ventura College, Ventura, CA Richard Hendrickson Add to Reading List Source URL: www.fortran.com Language: English - Date: 2002-08-03 20:57:50 Data types Type theory Procedural programming languages Array data type Type system C Array programming New Strong typing Software engineering Computing Computer programming
972	AspectC++ – A Language Overview c 2005 Olaf Spinczyk <> Friedrich-Alexander University Erlangen-Nuremberg Computer Science 4 Add to Reading List Source URL: www.aspectc.org Language: English - Date: 2014-03-31 14:22:39 Aspect-oriented software development Aspect-oriented programming C++ Method Type theory Pointcut AspectC++ Objective-C Type safety Software development Software engineering Computing
973	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Computing Data types Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Programming language theory Type theory
974	PDF Document Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Procedural programming languages Data types Type theory Cross-platform software Notation Programming language C Mathematical logic Formal language Programming language theory Software engineering Computing
975	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:04:46 Computer programming Functional programming Memory management Category theory Type theory F-coalgebra Garbage collection Algebraic data type List Software engineering Computing Data types
976	PDF Document Add to Reading List Source URL: www.childrenshospitalla.org Language: English - Date: 2009-01-06 16:16:31 Categorical data Epidemiology Statistical theory Sensitivity and specificity Negative predictive value Positive predictive value Prevalence Type I and type II errors Systemic lupus erythematosus Statistics Biostatistics Medical statistics
977	PDF Document Add to Reading List Source URL: www.cfconf.org Language: English - Date: 2013-04-18 09:23:18 Computer programming Abstract data types Type theory Object-oriented programming ColdFusion Stack Object Data structure Database Computing Software engineering Data types
978	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
979	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
980	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:30:58 Type theory Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 OCaml E Software engineering Computing Programming language theory